1. Computer aided verification
پدیدآورنده : P. Madhusudan, Sanjit A. Seshia (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses
رده :
QA76
.
76
.
V47
C38
2012eb
